Semantics of Temporal Classes
نویسندگان
چکیده
منابع مشابه
Semantics of Temporal Classes
A model theory of a typed, declarative, temporal object-oriented language system is presented. The declarative nature of the language makes it very different from the dominating procedural, strongly typed object-oriented programming languages. In this declarative system, methods are specified in a high-level, temporal constraint language. Two fundamental properties of these constraints are that...
متن کاملSemantics of Temporal Queries and Temporal Data
This paper analyzes the requirements for adding a temporal reasoning component to a natural language database query system, and proposes a computational model that satisfies those requirements. A prelimInary implementation in Prolog is used to generate examples of the model's capabi Iltles.
متن کاملModular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which method closures are held together with field values. Such a store is also called “higher-order” and does not come for free [13]. It is much harder to prove properties of such stores and as a consequence (soundness of) p...
متن کاملTemporal Classes and OWL
Temporal class as a design primitive for knowledge engineering allows for natural representation of evolving concepts of a domain. The paper proposes arguments to employ temporal entities (classes, axioms, ontologies) as first-class citizens in the Semantic Web applications. The paper presents an informal description of one temporal extension of a subset of OWL to deal with temporal classes — O...
متن کاملCharacterization of Temporal Property Classes
This paper presents two novel characterizations of the classes of properties of reactive systems in terms of their expression by temporal logic. The rst family of characterizations concerns the safety-progress clas-siication, which describes a hierarchy within the set of temporal properties. Previous characterizations of this hierarchy depended critically on the use of past temporal operators. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2000
ISSN: 0890-5401
DOI: 10.1006/inco.2000.2891